Nuprl Lemma : sq_stable_iff_stable 9,38
P:. SqStable(P)  Stable{P} 
latex

ProofTree

Definitionst  T, P  Q, P  Q, P  Q, P  Q, , x:A. B(x), Stable{P}, True, T, SqStable(P), P  Q, Dec(P), XM, False, A
Lemmasstable wf, sq stable wf, not wf, sq stable from stable

origin